SETL

Etymology:
SETL = SET Language

                                                 1. ISETL

Etymolgy:
ISETL = Interactive SETL 

MAC NAME:  ISETL                                     

VERSION: 3.0                                 

README:
"This version was compiled with Think-C (c) Symantec Screen Editor based on the THINK C Class Library. The interactive line editor was derived from ILE  written by Robert C. Pendleton (c) 1988, Evans & Sutherland.
This program was developed while the author was a member of the Clarkson faculty, using the Z200 provided by the school.  West Publishing has provided a Macintosh for further refinement of the Mac version.  West has also provided support for the development of the PC and Mac graphics features.
There are many people who have contributed to the ideas behind ISETL.  First and foremost is Ed Dubinsky, whose idea it was to use SETL for teaching Discrete Mathematics.  His dissatisfaction with the old implementation suggested this project.  Others include: Nancy Baxter, Don Muench, and that mysterious bunch that we just call IWEST."

AUTHOR:
Gary Marc Levin
    
COPYRIGHT:
 (c) Gary Marc Levin 1987,1988,1988,1989,1990

INTERNET SITES:
ftp://sun.soe.clarkson.edu/pub/ISETL/Mac/
ftp://archives.math.utk.edu/software/mac/progLanguages/ISETL/
ftp://archives.math.utk.edu/software/mac/logic/ISETL/

                                                 2. SETL2

MAC NAME: SETL2                                      

VERSION: -                                 

README:
"The Macintosh implementation of SETL2 runs as a tool in the Macintosh Programmers Workshop Development Environment.  It will not run as a stand-alone application, so MPW is absolutely required.  MPW is available from the Apple Programmers and Developers Association (APDA), run by Apple.  It provides a Unix-like shell for the Mac, and therefore allows SETL2 to use the same user-interface for the Mac which it uses for other implementations."

AUTHOR(S) : -
    
COPYRIGHT: -

INTERNET SITES:
ftp://cs.nyu.edu/pub/languages/setl2/                                         ftp://gwdu30.gwdg.de/languages/nyu.edu/setl2/